perpendicular bisector of the line segment